<html>
<head><meta charset="utf-8"><title>Add StatementKind::Intrinsic to MIR compiler-team#348 · t-compiler/major changes · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/index.html">t-compiler/major changes</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html">Add StatementKind::Intrinsic to MIR compiler-team#348</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="210561539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/210561539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#210561539">(Sep 18 2020 at 18:56)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="492">@T-compiler</span>: Proposal <a href="https://github.com/rust-lang/compiler-team/issues/348#issuecomment-695033219">#348</a> has been seconded, and will be approved in 10 days if no objections are raised.</p>



<a name="211848348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/211848348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#211848348">(Sep 30 2020 at 22:30)</a>:</h4>
<p>This proposal has been accepted: <a href="https://github.com/rust-lang/compiler-team/issues/348">#348</a>.</p>



<a name="212218689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/212218689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#212218689">(Oct 04 2020 at 11:19)</a>:</h4>
<blockquote>
<p>Extend Mir to include statements for specific intrinsic function calls that are known to not panic or unwind under any conditions. </p>
</blockquote>
<p>Additionally, these intrinsics must also be known to always return (i.e., they must never cause an infinite loop).<br>
Not sure where the docs for this are or will be, but this part is important :D</p>



<a name="212220004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/212220004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#212220004">(Oct 04 2020 at 11:56)</a>:</h4>
<p>The title is outdated the contents of the MCP now state that we add new statements or rvalues for individual intrinsics, and only for intrinsics that are known to always return</p>



<a name="212223597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/212223597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#212223597">(Oct 04 2020 at 13:34)</a>:</h4>
<blockquote>
<p>the contents of the MCP now state that we add new statements or rvalues for individual intrinsics, and only for intrinsics that are known to always return</p>
</blockquote>
<p>it does not state that though? it says what I quited above.</p>



<a name="212383714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/Add%20StatementKind%3A%3AIntrinsic%20to%20MIR%20compiler-team%23348/near/212383714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> jknodt <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/Add.20StatementKind.3A.3AIntrinsic.20to.20MIR.20compiler-team.23348.html#212383714">(Oct 06 2020 at 04:28)</a>:</h4>
<p>Ah I didn't explicitly state, "doesn't loop forever", wherever docs are added "definitely returns"  will be added</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>